-
1 шаг логического вывода
Русско-английский словарь по вычислительной технике и программированию > шаг логического вывода
-
2 дерево вывода
-
3 шаг вывода
1) Computers: derivation step2) Programming: inference step -
4 ошибка
1) General subject: a piece of carelessness, balk, barney, boss shot, break, bungle, clinker, delinquency, erratum, error, error (типичными ошибками являются: ошибка контировки (error of commission); пропущенная проводка (error of omission); ошибка принципа (error of principle); компенсирующая ошибка (compensating error); ошибка перестановки (transposition error)), failing, fallacy, false step, fault, foul, fungo, gaffe, inaccuracy, lapse, miscarriage, misdeed, misdoing, misstep, mistake, muff, slip, slip-up, solecism, stumble, transgression, trip, x, indiscretion2) Medicine: blunder, mis-action, misdiagnosing4) American: flub5) Obsolete: misprision, miss6) Latin: lapsus7) Military: bogie, bogy, deviation, miscalculation8) Engineering: delta (в языке Ада), fault (из-за неисправности), malfunction, mistake (человека)9) Rare: illiteracy (орфографическая, речевая)10) Chemistry: miscount11) Construction: (грубая) mistake (напр. при снятии отсчёта)13) Railway term: misalignment, oversight14) Law: drawback, flaw, inadvertence, mistake of fact15) Accounting: exception16) Linguistics: deviance18) Diplomatic term: foul-up19) Cinema: misspeak20) Telecommunications: gating error, violation21) School: bishop22) Jargon: Brodie, bloody murder, blooper, boss, boss-shot, fizzle, floater, fluff (оратора, актёра), frost, header, coat (He dropped a coat. Он допустил/совершил ошибку.), Robbie (I made a right Robbie yesterday.), Butch, beef, blob, bobble, boner, boob, boot (в бейсболе), bust, clam, flap, foozle (в спорте), goof, kicker, prune, rhubarb (в бейсболе), snafu (особенно явная)23) Information technology: bug (в программном обеспечении), bug fix, correctable error, delta (допустимая), err, exception (в сообщениях об ошибках), hole (в системе), incident (требующая вмешательства оператора), irregularity (напр. в программе), problem24) Astronautics: glitch25) Cartography: confusion, misclosure26) Patents: bias, bug (в программе)27) Business: pitfall28) Investment: slippage, tracking error29) Automation: defect, derivation, slip-up (напр. при программировании)30) Quality control: error (измерений)31) Marine science: misfit (в прогнозе)32) Aviation medicine: inadvertency, slip (грубая)33) Makarov: error (погрешность), flaw (в документе и т.п.)35) Security: bug (в программе или устройстве) -
5 ошибка
1) General subject: a piece of carelessness, balk, barney, boss shot, break, bungle, clinker, delinquency, erratum, error, error (типичными ошибками являются: ошибка контировки (error of commission); пропущенная проводка (error of omission); ошибка принципа (error of principle); компенсирующая ошибка (compensating error); ошибка перестановки (transposition error)), failing, fallacy, false step, fault, foul, fungo, gaffe, inaccuracy, lapse, miscarriage, misdeed, misdoing, misstep, mistake, muff, slip, slip-up, solecism, stumble, transgression, trip, x, indiscretion2) Medicine: blunder, mis-action, misdiagnosing4) American: flub5) Obsolete: misprision, miss6) Latin: lapsus7) Military: bogie, bogy, deviation, miscalculation8) Engineering: delta (в языке Ада), fault (из-за неисправности), malfunction, mistake (человека)9) Rare: illiteracy (орфографическая, речевая)10) Chemistry: miscount11) Construction: (грубая) mistake (напр. при снятии отсчёта)13) Railway term: misalignment, oversight14) Law: drawback, flaw, inadvertence, mistake of fact15) Accounting: exception16) Linguistics: deviance18) Diplomatic term: foul-up19) Cinema: misspeak20) Telecommunications: gating error, violation21) School: bishop22) Jargon: Brodie, bloody murder, blooper, boss, boss-shot, fizzle, floater, fluff (оратора, актёра), frost, header, coat (He dropped a coat. Он допустил/совершил ошибку.), Robbie (I made a right Robbie yesterday.), Butch, beef, blob, bobble, boner, boob, boot (в бейсболе), bust, clam, flap, foozle (в спорте), goof, kicker, prune, rhubarb (в бейсболе), snafu (особенно явная)23) Information technology: bug (в программном обеспечении), bug fix, correctable error, delta (допустимая), err, exception (в сообщениях об ошибках), hole (в системе), incident (требующая вмешательства оператора), irregularity (напр. в программе), problem24) Astronautics: glitch25) Cartography: confusion, misclosure26) Patents: bias, bug (в программе)27) Business: pitfall28) Investment: slippage, tracking error29) Automation: defect, derivation, slip-up (напр. при программировании)30) Quality control: error (измерений)31) Marine science: misfit (в прогнозе)32) Aviation medicine: inadvertency, slip (грубая)33) Makarov: error (погрешность), flaw (в документе и т.п.)35) Security: bug (в программе или устройстве) -
6 замечать
(= заметить, обнаруживать, указывать, отмечать) observe, note, notice, mark• Более общие условия здесь не будут обсуждаться, однако мы можем заметить, что... - More general conditions will not be discussed here, but it may be said that...• Более простой подход получается, если заметить, что... - A simpler approach is to observe that...• Были замечены первые значительные изменения в... - The first significant changes in... were detected/were observed.• В качестве последнего предостережения следует заметить, что... - As a final caveat it should be noted that...• В связи с данной задачей стоит заметить, что... - In connection with this problem it is worth noting that...• В связи с этим мы замечаем, что... - In this connection, we observe that...• Вдобавок мы можем заметить как следствие соотношения (1), что... - Incidentally we may notice, as a consequence of (1), that...• Внимательный читатель заметит, что... - An alert reader will have noticed that...• Во-вторых, мы должны заметить относительно использования (чего-л)... - Secondly, we must comment on the use of...• Во-вторых, следует заметить, что... - In the second place, it should be noted that...• Во-первых, заметим, что нет необходимости... - Our first observation is that there is no need to...• Все, что необходимо - это заметить, что... - All that is necessary is to observe that...• Дополнительное соотношение может получено, если мы заметим, что... - An additional relation can be obtained by noting that...• Довольно интересно заметить, что... - It is of some interest to observe that...• Желая использовать соотношение (14), мы заметим, что... - Wishing to exploit (14), we note that...• Заметим еще раз следующее важное обстоятельство. - Now again, we wish to make an important point.• Заметим мимоходом, что... - We observe in passing that...• Заметим, во-вторых, что... - Another point to be noticed is that...• Заметьте особую природу... - Note the singular nature of...• Заметьте различные роли, которые выполняются (чем-л). - Notice the different roles played by...• Заметьте, что данная аргументация весьма сходна (с той, что)... - Note that the present argument is very similar to...• Заметьте, что мы все еще должны быть осторожны (относительно, с)... - Note that we still must be cautious about...• Заметьте, что мы использовали (здесь) только... - Note that we have only used...• Заметьте, что мы не можем позволить себе пренебречь... - Notice that we could not afford to neglect...• Заметьте, что необходимо (сделать что-л)... - Notice that it is necessary to...• Заметьте, что это (выражение и т. п.) имеет ту же самую форму, что и... - Note that this is of the same form as...• Заметьте, что это весьма похоже на... - Note that this is very similar to...• Заметьте, что этот вывод не ограничен (чем-л). - Notice that this derivation is not restricted to...• Здесь мы просто заметим, что... - Here we will merely note that...• Интересно заметить, что... - It is interesting to observe that...; It is of interest to observe that...; It is of interest to remark that...• Как легко заметить... - As will readily be observed...; As is easy to see...• Кстати, заметим, что... - Notice incidentally that...• Между тем достаточно заметить, что... - Meanwhile, it is enough to note that...• Мы немедленно заметим, что... - It will be seen at once that...• Мы только заметим, что... - We mention in passing that...• Мы уже замечали, что... - We have already called attention to...• Наблюдательный читатель (обязательно) заметит, что... - The observant reader will have noticed that...• Не будет замечено никаких изменений. - No changes will be perceived.• Необходимо заметить, что в той же мере важным является тот факт, что... - But equally important, one should notice, is the fact that...• Необходимо заметить, что существуют два способа, которыми... - It should be noted that there are two ways in which...• Однако Смит [1] замечает, что определенные исключения действительно существуют. - But Smith [l] notes that certain exceptions do exist.• Однако интересно заметить, что... - It is, however, of interest to observe that...• Однако необходимо заметить, что... - It must be observed, however, that...• Однако следует также заметить, что... - It should also be noted, however, that...• Особенно интересно заметить, что... - It is especially interesting to note that...• Особо следует заметить, что... - It should be noted especially that...• Относительно соотношения (12) заметим, что его интересным свойством является... - The interesting feature to notice about (12) is that...• Очень полезно заметить, что... - It is very useful to notice that...• Прежде всего мы заметим, что... - Our first step is to notice that...• Перед тем как продолжить, заметим, что... - Before proceeding, we observe that...• Похоже, что Смит [1] был первым, кто заметил, что... - Smith [1] seems to have been the first to notice that...• Похоже, что остальные физики не заметили этого. - This seems to have escaped the notice of other physicists.• Прежде чем проделать это, мы заметим, что... - Before we do so we note that...• Прежде чем выполнить эту процедуру, заметим, что... - Before carrying out this procedure, note that...• Прежде чем мы продолжим изложение, стоит заметить, что... - Before we go further, it is worth observing that...• Прежде чем рассматривать их подробно, следует заметить, что... - Before considering these in detail, it should be mentioned that...• С другой стороны, мы можем заметить, что... - Alternatively, we may observe that...• С самого начала мы замечаем, что... - At the outset we notice that...• С целью дальнейшего использования заметим здесь... - Let us note here, for future use,...• С этой целью (= для этого) мы заметим, что... - То this end (= For this purpose) we note that...• Следует заметить, что... - It should be noted that...• Следующим шагом отметим, что п = 2, тогда... - Next observe that n = 2 then...• Смитом [1] первым заметил, что... - It was first observed by Smith [1] that...• Сначала заметим, что А = В. - Note first that A = В.• Стоит заметить, что... - It is worth remarking that...; It is worth noticing that...; It is noteworthy that...• Хорошо подготовленный читатель немедленно заметит, что... - The knowledgeable reader will see at once that...• Читатель мог бы заметить близкое сходство между этим анализом и... - The reader may notice a close similarity between this analysis and...• Читатель мог уже заметить, что... - The reader may have noticed that...• Чтобы доказать обратное, достаточно заметить, что... - То prove the converse it is sufficient to notice that...• Чтобы разъяснить этот момент, мы заметим, что... - То elucidate the point, we notice that...• Эта модификация, возможно, вводится наиболее просто, если заметить, что... - This modification is perhaps most easily introduced by observing that...• Это задание облегчается, если заметить, что... - This task is made easier by noticing that...
См. также в других словарях:
Derivation of the conjugate gradient method — In numerical linear algebra, the conjugate gradient method is an iterative method for numerically solving the linear system where is symmetric positive definite. The conjugate gradient method can be derived from several different perspectives,… … Wikipedia
Regulated rewriting — is a specific area of formal languages studying grammatical systems which are able to take some kind of control over the production applied in a derivation step. For this reason, the grammatical systems studied in Regulated Rewriting theory are… … Wikipedia
Controlled grammar — Controlled grammars[1] are a class of grammars that extend, usually, the context free grammars with additional controls on the derivations of a sentence in the language. A number of different kinds of controlled grammars exist, the four main… … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Context-free grammar — In formal language theory, a context free grammar (CFG) is a formal grammar in which every production rule is of the form V → w where V is a single nonterminal symbol, and w is a string of terminals and/or nonterminals (w can be empty). The… … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Kalman filter — Roles of the variables in the Kalman filter. (Larger image here) In statistics, the Kalman filter is a mathematical method named after Rudolf E. Kálmán. Its purpose is to use measurements observed over time, containing noise (random variations)… … Wikipedia
Mathematical fallacy — In mathematics, certain kinds of mistakes in proof, calculation, or derivation are often exhibited, and sometimes collected, as illustrations of the concept of mathematical fallacy. The specimens of the greatest interest can be seen as… … Wikipedia
Minimalist program — Linguistics … Wikipedia
HSL and HSV — Fig. 1. HSL (a–d) and HSV (e–h). Above (a, e): cut away 3D models of each. Below: two dimensional plots showing two of a model’s three parameters at once, holding the other constant: cylindrical shells (b, f) of constant saturation, in this case… … Wikipedia
Black–Scholes — The Black–Scholes model (pronounced /ˌblæk ˈʃoʊlz/[1]) is a mathematical model of a financial market containing certain derivative investment instruments. From the model, one can deduce the Black–Scholes formula, which gives the price of European … Wikipedia
